首页> 外文OA文献 >Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems ∗†

【2h】

Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems ∗†

机译：完全符号TCTL模型检查完整和不完整的实时系统*†

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Georges Morbe ́; Christoph Scholl; Bernd Becker; Werner Damm; Bernd Finkbeiner; Andreas Podelski;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fully symbolic TCTL model checking for complete and incomplete real-time systems [J] . Georges Morbe, Christoph Scholl Science of Computer Programming . 2015,第NOVa1PTa2期

机译：完整和不完整的实时系统的完全符号TCTL模型检查
2. Fully Symbolic TCTL Model Checking for Incomplete Timed Systems [J] . Georges Morbé, Christoph Scholl Electronic Communications of the EASST . 2014,第3期

机译：不完整定时系统的完全符号TCTL模型检查
3. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems [J] . Kasper S. Luckow, Corina S. P?s?reanu, Bent Thomsen EURASIP journal on embedded systems . 2015,第1期

机译：用于Java实时系统时序分析的符号执行和定时自动机模型检查
4. Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems [C] . Georges Morbe, Christian Miller, Christoph Scholl, International Haifa verification conference . 2014

机译：不完整定时系统的组合有界和符号模型检查
5. Tabled resolution and constraints for model checking real-time systems and infinite-state systems. [D] . Du, Xiaoqun. 2000

机译：列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking [O] . Jacobsen, Lasse, Jacobsen, Morten, Møller, Mikael Harkjær, 2010

机译：一种关联定时过渡系统并保留TCTL模型检测的框架
8. Real-Time Symbolic Model Checking for Discrete Time Models [R] . Campos, S. V., Clarke, E. M. 1994

机译：离散时间模型的实时符号模型检验

Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems ∗†

著录项

引文网络

相似文献

相关主题

期刊订阅